Deterministic finite automaton

Results: 142



#Item
121Computer science / Mathematics / Conjunctive query / Nondeterministic finite automaton / Deterministic finite automaton / Structure / Algorithm / Computational complexity theory / Finite-state machine / Automata theory / Models of computation / Theoretical computer science

Conjunctive Queries for EL with Role Composition Markus Krötzsch and Sebastian Rudolph Institute AIFB, Universität Karlsruhe, Germany {mak|sru}@aifb.uni-karlsruhe.de Abstract. EL++ is a rather expressive description l

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
122Applied mathematics / Computer science / Deterministic pushdown automaton / Bisimulation / Computability / Context-free language / Finite-state machine / Automata theory / Models of computation / Theoretical computer science

Decidability of Bisimulation Equivalence for Pushdown Processes Colin Stirling Division of Informatics University of Edinburgh Edinburgh EH9 3JZ, UK

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2009-05-20 09:59:44
123Formal languages / Computer science / Pattern matching / Universal identifiers / Nondeterministic finite automaton / Deterministic automaton / Terminal and nonterminal symbols / Deterministic finite automaton / International Article Number / Automata theory / Models of computation / Theoretical computer science

Data Structures in Coco/R Hanspeter Mössenböck Johannes Kepler University Linz Institute of System Software April 2005 This technical note describes the data structures in the C# and Java implementations

Add to Reading List

Source URL: www.ssw.uni-linz.ac.at

Language: English - Date: 2005-04-26 10:03:24
124Graph theory / Tree automaton / Tree walking automaton / Nondeterministic finite automaton / Tree / T-tree / Symbol / Binary tree / Semi-deterministic Büchi automaton / Automata theory / Theoretical computer science / Computer science

Tree-Walking Automata Do Not Recognize All Regular Languages Mikolaj Bojanczyk

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2011-11-07 04:39:25
125Computer science / Deterministic pushdown automaton / Pushdown automaton / LL parser / Finite-state machine / Context-free language / Symbol / Greibach normal form / Nested word / Automata theory / Models of computation / Theoretical computer science

1 Pushdown Automata Hendrik Jan Hoogeboom and Joost Engelfriet

Add to Reading List

Source URL: www.liacs.nl

Language: English - Date: 2004-05-10 11:22:35
126Computer science / Pushdown automaton / Deterministic pushdown automaton / Computability / Context-free language / Finite-state machine / National Parliamentary Debate Association / Stack / Computation history / Automata theory / Models of computation / Theoretical computer science

Non-deterministic pushdown automata Regular languages are recognized by finite automata, context free languages are recognized by non-deterministic pushdown automata.

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2012-01-14 04:37:24
127Computer science / Statistics / Finite-state machine / Deterministic automaton / Markov chain / Stochastic matrix / Ω-automaton / Automata theory / Theoretical computer science / Learning automata

IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS, VOL. SMC-4, NO. 4, JULY 1974

Add to Reading List

Source URL: www.dklevine.com

Language: English - Date: 2010-12-10 19:21:29
128Computer science / Stack / Finite-state machine / Context-free language / Pushdown automaton / Deterministic pushdown automaton / Automata theory / Models of computation / Theoretical computer science

Chapter 3 Pushdown Automata and Context Free Languages

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2009-10-01 15:20:36
129Finite-state machine / Nondeterministic finite automaton / Alphabet / Powerset construction / Deterministic automaton / State transition table / Deterministic finite automaton / Deterministic pushdown automaton / Automata theory / Theory of computation / Theoretical computer science

CHAPTER ✦

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-18 21:43:57
130Models of computation / Computer science / Applied mathematics / Regular expression / Nondeterministic finite automaton / Deterministic finite automaton / Regular language / Finite-state machine / Formal grammar / Automata theory / Formal languages / Theoretical computer science

Free University of Bolzano–Formal Languages and Compilers. Lecture IV, [removed] – A.Artale Formal Languages and Compilers

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2012-10-18 11:15:06
UPDATE